Integrating Simplification at Buurtzorg Nederland

Buurtzorg Nederland: A Global Model of Social Innovation, Change, and Whole-Systems Healing

Etnocentrisme in Nederland: theoretische bijdragen empirisch getoetst

The "Sprekend Nederland" project and its application to accent location

This paper describes the data collection effort that is part of the project Sprekend Nederland (The Netherlands Talking), and discusses its potential use in Automatic Accent Location. We define Automatic Accent Location as the task to describe the accent of a speaker in terms of the location of the speaker and its history. We discuss possible ways of describing accent location, the consequence ...

Integrating Functions at the Kinetochore

Kinetochore components have catalytic as well as structural activities. New evidence illustrates how these proteins integrate spindle morphogenesis with regulation of the timing and accuracy of chromosome segregation.

From Search to Computation: Redundancy Criteria and Simplification at Work

The concept of redundancy and simplification has been an ongoing theme in Harald Ganzinger’s work from his first contributions to equational completion to the various variants of the superposition calculus. When executed by a theorem prover, the inference rules of logic calculi usually generate a tremendously huge search space. The redundancy and simplification concept is indispensable for cutt...